Buy Used and New Zhiming Liu Books

Foundations of Health Informatics Engineering and Systems: First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. ... 7151 (Lecture Notes in Computer Science)

by Zhiming Liu,Alan Wassyng

ISBN 13: 9783642323546

Format: Paperback (236 pages)
Publisher: Springer
Published: 06 Jul 2012

Save for later

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday (Lecture Notes in Computer Science)

by Zhiming Liu,Jim Woodcock,Huibiao Zhu

ISBN 13: 9783642396977

Format: Paperback (428 pages)
Publisher: Springer
Published: 31 Jul 2013

Save for later

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, ... 8050 (Lecture Notes in Computer Science)

by Zhiming Liu, Jim Woodcock, Huibiao Zhu

ISBN 13: 9783642397202

Format: Paperback (296 pages)
Publisher: Springer
Published: 19 Jul 2013

Save for later

Engineering Trustworthy Software Systems: First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures: 9506 (Lecture Notes in Computer Science)

by Zhiming Liu,Zili Zhang

ISBN 13: 9783319296272

Format: Paperback (340 pages)
Publisher: Springer
Published: 01 Mar 2016

Save for later

Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures (Lecture Notes in Computer Science)

by Jonathan P. Bowen,Zhiming Liu,Zili Zhang

ISBN 13: 9783030029272

Format: Paperback (240 pages)
Publisher: Springer
Published: 13 Nov 2018

Save for later

Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings: 4260 (Lecture Notes in Computer Science)

by Zhiming Liu,Jifeng He

ISBN 13: 9783540474609

Format: Illustrated (792 pages)
Publisher: Springer
Published: 20 Dec 2006

Save for later